Iterated relabeling tree transducers
نویسندگان
چکیده
منابع مشابه
Iterated relabeling tree transducers
In this paper we consider the closure UCI(Rel) of the class of relabeling tree transformations, under U=union, C=composition and I=iteration. We give a characterization of UCI(Rel) in terms of a short expression built up from Rel with composition and iteration. We also give a characterization of UCI(Rel) in terms of one-step rewrite relations of very simple term rewrite systems. We give a simil...
متن کاملDeterministic Top-Down Tree Transducers with Iterated Lookahead
It is known that by iterating the look-ahead tree languages for deterministic topdown tree automata, more and more powerful recognizing devices are obtained. Let DR0 = DR, where DR is the class of all tree languages recognizable by deterministic top-down tree automata, and let, for n 1, DRn be the class of all tree languages recognizable by deterministic top-down tree automata with DRn 1 lookah...
متن کاملProperties of Quasi-Relabeling Tree Bimorphisms
The fundamental properties of the class QUASI of quasi-relabeling relations are investigated. A quasi-relabeling relation is a tree relation that is de ned by a tree bimorphism (φ,L, ψ), where φ and ψ are quasi-relabeling tree homomorphisms and L is a regular tree language. Such relations admit a canonical representation, which immediately also yields that QUASI is closed under nite union. Howe...
متن کاملIterated sequential transducers as language generating devices
Iterated finite state sequential transducers are considered as language generating devices. The hierarchy induced by the size of the state alphabet is proved to collapse to the fourth level. The corresponding language families are related to the families of languages generated by Lindenmayer systems and Chomsky grammars. Finally, some results on deterministic and extended iterated finite state ...
متن کاملDecision Problems on Iterated Length-Preserving Transducers
Finite-state transducers are simple theoretical machines that are useful in expressing easilycomputable functions and relations. This investigation considers the relations formed when transducers are iterated arbitrarily many times, a construction which is useful in model checking. In particular, we consider a number of decision problems over various classes of transducers, and attempt to deter...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(01)00181-5